Adriaan Brouwer Te Haarlem

Overview of CALM ( draft ) Adriaan

..........................................................................................1

Adriaan Isebree Moens (1847-1891)

At the end of a brilliant paper' published in 1922 from one of the world's foremost laboratories of physiology-a contribution which, in one swift motion, gathered together the best of nineteenth century material and laid the foundation for the modern study of arterial elasticity-there appeared the following careless citation: "Moens, 'Die Pulskurve', Leiden. 1878. p. 90." In one form or another...

Tuberculosis due to Resistant Haarlem Strain, Tunisia

Multidrug-resistant tuberculosis was diagnosed in 21 HIV-negative, nonhospitalized male patients residing in northern Tunisia. A detailed investigation showed accelerated transmission of a Mycobacterium tuberculosis clone of the Haarlem type in 90% of all patients. This finding highlights the epidemic potential of this prevalent genotype.

Heyting-Brouwer Rough Set Logic

A rough set logic based on Heyting-Brouwer algebras HBRSL is proposed as a basis for reasoning about rough information. It is an extension of Düntsch’s logic with intuitionistic implication, and is seen as a variant of HeytingBrouwer logic. A Kripke semantics and natural deduction for the logic are presented and the completeness theorem is proved.

Kant's Influence on Brouwer